在Jeremy Siek的概念检查库(参见[BCCL])中可以找到通过在高级模板中添加虚设代码来改进C++编译器诊断的相当系统的尝试，是Boost库的一部分(参见[Boost])。

Robert Klarer和John Maddock提出了static\_assert特性来帮助开发者在编译时检查条件，后来成为C++11的特性之一。在此之前，通常表示为一个库或宏，使用的技术类似于第28.1节中描述的那些技术。Boost.StaticAssert库就是这样一种实现。

MELAS系统为C++标准库的某些部分提供了oracle，允许对其一些算法进行验证。这个系统在[MusserWangDynaVeri]中进行了讨论。

\begin{tcolorbox}[colback=webgreen!5!white,colframe=webgreen!75!black]
\hspace*{0.75cm}其中一位作者David Musser也是C++标准库开发的关键人物。除此之外，他还设计并实现了第一个关联容器。
\end{tcolorbox}
